Extend simple filter for WGS datums.

diff --git a/jeeps/gpsmath.c b/jeeps/gpsmath.c
index 45c48d8222a949ef850264430181342c973511df..4ac951730a0e992b27b011dd32cd8ef787e3677c 100644 (file)
--- a/jeeps/gpsmath.c
+++ b/jeeps/gpsmath.c
@@ -1805,7 +1805,9 @@ int32 GPS_Lookup_Datum_Index(const char *n)
        const char *name;
        
        if (case_ignore_strcmp(n, "WGS84") == 0) name = "WGS 84";
+       else if (case_ignore_strcmp(n, "WGS-84") == 0) name = "WGS 84";
        else if (case_ignore_strcmp(n, "WGS72") == 0) name = "WGS 72";
+       else if (case_ignore_strcmp(n, "WGS-72") == 0) name = "WGS 72";
        else name = n;
 
        for (dp = GPS_Datum; dp->name; dp++) {